algebraic specification meaning in Chinese

代数方法
代数规格说明

It ' s essential that complex security protocols can be obtained through the continues evolution of simple protocols , therefore , the evolution model framework for security protocol based on algebraic specification is presented in this paper , the body of a security protocol can be formalized using this framework and the goal of a security protocol ' s evolution can be attained by expanding this framework
复杂安全协议本质上就是由简单的协议模型不断进化而得，因此本文采用基于代数规范的方法提出一个安全协议的进化模型框架，安全协议的主体均可采用该框架得以形式化描述，并通过进化模型的扩展达到安全协议进化的目的。